Mechanized Support for Retrenchment
ثبت نشده
چکیده
19
منابع مشابه
Mechanized support for retrenchment
Consider two abstract machines abc and def (described using B notation below). Both models represent the addition of two natural numbers. The second, however, introduces the limitation that, when implemented on a computer, the set of natural numbers cannot be infinite. It is felt that both of these models are needed within a development. The first for use at the abstract level when describing s...
متن کاملThe Driving and Inhibiting Factors of Mechanized Tobacco Production in Iran Using the Delphi Technique
Increased cost of tobacco cultivation is a major concern for its sustainable production in Iran. Therefore, the development of tobacco mechanized cultivation is a necessity. Given this, the driving and inhibiting factors of the development of mechanized tobacco cultivation were investigated by the Delphi technique in three rounds in Guilan Province, Iran. Nineteen experts from the Jahad Agricul...
متن کاملRetrenchment: Extending Refinement for Continuous and Control Systems
Discussion of a radiation dose calculation example demonstrates various expressive limitations of the reenement calculus, particularly for systems with continuous variables. A liberalization of reenement, called retrenchment, is proposed, which will support an analogous formal development calculus. Useful concrete system behaviour can be speciied outside the domain of pure reenement, in particu...
متن کاملComposing and Promoting Retrenchments in Z
We briefly review the the compositional mechanisms of Z, i.e. the schema calculus and promotion. Retrenchment, a generalization of classical data refinement, is reviewed in a Z setting. Experience applying retrenchment to the Mondex Electronic Purse specification [16, 8] – which used promotion in combination with refinement – has established that promotion is a useful tool in the requirements e...
متن کاملReliability-based maintenance scheduling of powered supports in Tabas mechanized coal mine
Utilizing the gathered failure data and failure interval data from Tabas coal mine in two years, this paper discusses the reliability of powered supports. The data sets were investigated using statistical procedures and in two levels: the existence of trend and serial correlation. The results show that the powered supports follow the Gamma reliability function. The reliability of the machine de...
متن کامل